Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
271	Design of Parallel and High Performance Computing HS 2014 Torsten Hoefler, Markus P¨ uschel Department of Computer Science ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-30 05:58:05 Computing Abstract data types Concurrency control Concurrent computing Transaction processing Computer architecture Linearizability Concurrent programming languages Shared register Queue Sequential consistency XC
272	Modularization of ecological models Basic ideas of . . . ∗ Joachim Benz Add to Reading List Source URL: www.ecobas.org Language: English - Date: 2004-08-05 06:08:28 Computing Modularity BASIC Software engineering Computer programming XHTML HTML Markup languages
273	Programming Model and Synthesis for Low-power Spatial Architectures Add to Reading List Source URL: pl.eecs.berkeley.edu Language: English - Date: 2015-02-13 21:22:05 Software engineering Programming language theory Computer programming C++ Data types Concurrent programming languages C Procedural programming languages XC Const C++ classes Typedef
274	Functional Design using Behavioural and Structural Components Richard Sharp University of Cambridge Computer Laboratory William Gates Building JJ Thomson Avenue Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:00 Electronic engineering Digital electronics Electronic design automation Hardware description languages Electronics Logic synthesis Verilog High-level synthesis VHDL SystemC Adder Silicon compiler
275	eSubmission Gateway and Web Client – interactive Questions and Answers session on the use of updated XML delivery files Q&A Webinar Presented by Kristiina Puusaari on 25 and 26 July 2016 Add to Reading List Source URL: esubmission.ema.europa.eu Language: English - Date: 2016-08-19 03:15:49 Computing Clinical data management Clinical research Data Electronic common technical document Health Computer file formats Markup languages
276	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
277	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
278	The OCaml system release 4.03 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2016-04-25 11:00:25 Software engineering Computer programming Computing Functional languages Object-oriented programming languages Data types OCaml Generic programming Modular programming Module Set Coupling
279	St Andrews Algol to Javascript compiler project William Trend March Add to Reading List Source URL: info.cs.st-andrews.ac.uk Language: English - Date: 2016-08-19 08:58:22 Software engineering Computer programming Programming language theory Procedural programming languages Compiler construction Programming language implementation Parsing Scripting languages ALGOL S-algol Compiler XPL
280	Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-10-28 09:30:27 Theoretical computer science Logic Mathematical logic Formal methods Logic in computer science Boolean algebra Hardware verification languages Model checking Temporal logic Formal verification Propositional calculus E

UPDATE